imin(a;b) == if a z b then a else b fi  

latex

Definitions	if b then t else f fi , i z j
FDL editor aliases	imin